1. Basic proof theory
پدیدآورنده: Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T76
2000
2. Constructivism in mathematics : an introduction
پدیدآورنده: Troelstra, A. S.)Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
3. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Principles of intuitionism
پدیدآورنده: Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
